punctured disk in complex analysis